<html>
<head><meta charset="utf-8"><title>example of check if a type is range syntax · t-compiler/wg-diagnostics · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/index.html">t-compiler/wg-diagnostics</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html">example of check if a type is range syntax</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="208997230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/208997230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#208997230">(Sep 03 2020 at 16:50)</a>:</h4>
<p>Hey, is there an example of checking if a path represents a type that can be used with range syntax?</p>
<p>It was mentioned in <a href="https://github.com/rust-lang/rust/pull/76222">https://github.com/rust-lang/rust/pull/76222</a> that I could ask here</p>



<a name="208998133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/208998133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#208998133">(Sep 03 2020 at 16:56)</a>:</h4>
<p>also let me know if there is a better stream than this for this question</p>



<a name="209009382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009382">(Sep 03 2020 at 18:22)</a>:</h4>
<p>You're in <code>typeck</code>, right?</p>



<a name="209009427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009427">(Sep 03 2020 at 18:22)</a>:</h4>
<p><span class="user-mention" data-user-id="119031">@Esteban Küber</span> yep!</p>



<a name="209009534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009534">(Sep 03 2020 at 18:23)</a>:</h4>
<p>The way to do it is to check that the <code>Ty&lt;'_&gt;</code> you have implements a trait in particular: <code>PartialOrd</code> <a href="https://doc.rust-lang.org/std/ops/struct.Range.html">https://doc.rust-lang.org/std/ops/struct.Range.html</a></p>



<a name="209009561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009561">(Sep 03 2020 at 18:23)</a>:</h4>
<p>I think that check is sufficient... (need to reread the docs for <code>Range</code>)</p>



<a name="209009646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009646">(Sep 03 2020 at 18:24)</a>:</h4>
<p>to do so you need to create a new <code>PredicateObligation</code> for that type with the <code>self_ty</code> being your <code>Ty&lt;'_&gt;</code></p>



<a name="209009888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209009888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209009888">(Sep 03 2020 at 18:26)</a>:</h4>
<p>you can see roughly what it takes here <a href="https://github.com/rust-lang/rust/blob/9e5f7d5631b8f4009ac1c693e585d4b7108d4275/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs#L443-L477">https://github.com/rust-lang/rust/blob/9e5f7d5631b8f4009ac1c693e585d4b7108d4275/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs#L443-L477</a></p>



<a name="209010013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010013">(Sep 03 2020 at 18:27)</a>:</h4>
<p>in <code>typeck</code> you might need to procure an inference context yourself (now that I think about it I'm not sure you'll be _able_ to do so in <code>typeck</code>)</p>



<a name="209010084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010084">(Sep 03 2020 at 18:27)</a>:</h4>
<p>the alternative is to just check that <code>Ty&lt;'_&gt;</code> is one of the integer types <span aria-label="grimacing" class="emoji emoji-1f62c" role="img" title="grimacing">:grimacing:</span></p>



<a name="209010192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010192">(Sep 03 2020 at 18:28)</a>:</h4>
<p><span class="user-mention" data-user-id="119031">@Esteban Küber</span> I think the ask from jonas is just about range syntax, is there any easy way to check if a type is exactly equal to one of these types? <a href="https://doc.rust-lang.org/reference/expressions/range-expr.html">https://doc.rust-lang.org/reference/expressions/range-expr.html</a></p>



<a name="209010243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010243">(Sep 03 2020 at 18:28)</a>:</h4>
<p>ah! I see what you're doing...</p>



<a name="209010255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010255">(Sep 03 2020 at 18:29)</a>:</h4>
<p>ok, that's easier</p>



<a name="209010345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010345">(Sep 03 2020 at 18:29)</a>:</h4>
<p>We have an internal attribute you can use: <code>#[rustc_diagnostic_item = "range_type"]</code></p>



<a name="209010366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010366">(Sep 03 2020 at 18:29)</a>:</h4>
<p><code>option_type</code> is one of them</p>



<a name="209010439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010439">(Sep 03 2020 at 18:30)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/3e16d4af7f6b0524434e758331a7cb3013a69791/library/core/src/option.rs#L143">https://github.com/rust-lang/rust/blob/3e16d4af7f6b0524434e758331a7cb3013a69791/library/core/src/option.rs#L143</a></p>



<a name="209010469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010469">(Sep 03 2020 at 18:30)</a>:</h4>
<p>which tags them so that you can ask for their <code>DefId</code> afterwards</p>



<a name="209010532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010532">(Sep 03 2020 at 18:31)</a>:</h4>
<p>like we do here: <a href="https://github.com/rust-lang/rust/blob/9e5f7d5631b8f4009ac1c693e585d4b7108d4275/compiler/rustc_mir/src/borrow_check/diagnostics/move_errors.rs#L397">https://github.com/rust-lang/rust/blob/9e5f7d5631b8f4009ac1c693e585d4b7108d4275/compiler/rustc_mir/src/borrow_check/diagnostics/move_errors.rs#L397</a></p>



<a name="209010639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010639">(Sep 03 2020 at 18:31)</a>:</h4>
<p>so you can just tag all of the types with <code>rustc_diagnostic_item</code> and then get them from the <code>TyTcx</code></p>



<a name="209010697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010697">(Sep 03 2020 at 18:32)</a>:</h4>
<p>that should work in every stage :)</p>



<a name="209010933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209010933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209010933">(Sep 03 2020 at 18:34)</a>:</h4>
<p><span class="user-mention silent" data-user-id="119031">Esteban Küber</span> <a href="#narrow/stream/147480-t-compiler.2Fwg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax/near/209010345">said</a>:</p>
<blockquote>
<p>We have an internal attribute you can use: <code>#[rustc_diagnostic_item = "range_type"]</code></p>
</blockquote>
<p>ah nice, I figured anything that has a special syntax we could add something like this. is_diagnostic_item seems perrrfect</p>
<p>I wonder, as i have done anything that changes rustc and std, does making a change across both still work correctly with just a stage1 compiler?</p>
<p>btw, I really appreciate how much detailed help you and <span class="user-mention" data-user-id="125294">@Aaron Hill</span> are giving me!!</p>



<a name="209011307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209011307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209011307">(Sep 03 2020 at 18:37)</a>:</h4>
<p>Oh also Range* are lang_items, i might just use that</p>



<a name="209022935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209022935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209022935">(Sep 03 2020 at 20:06)</a>:</h4>
<p>it lives! <a href="https://github.com/rust-lang/rust/pull/76222">https://github.com/rust-lang/rust/pull/76222</a></p>
<p>(when I did this, im pretty sure I got a diagnostic that is specific to TyKind, does rustc have special diagnostics for its own codebase?)</p>
<p>i really do appreciate the help <span class="user-mention" data-user-id="119031">@Esteban Küber</span> and <span class="user-mention" data-user-id="125294">@Aaron Hill</span> ! hopefully I can figure out the other issue and start getting more familiar with rustc</p>



<a name="209023185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209023185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209023185">(Sep 03 2020 at 20:08)</a>:</h4>
<blockquote>
<p>does making a change across both still work correctly with just a stage1 compiler?</p>
</blockquote>
<p>Yes</p>
<blockquote>
<p>Oh also Range* are lang_items, i might just use that</p>
</blockquote>
<p>Perfect, that will do the trick.</p>
<blockquote>
<p>does rustc have special diagnostics for its own codebase?)</p>
</blockquote>
<p>Not sure I understand the question :)</p>



<a name="209023246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209023246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209023246">(Sep 03 2020 at 20:09)</a>:</h4>
<p>yeah, rustc has some internal lints</p>



<a name="209023417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209023417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209023417">(Sep 03 2020 at 20:10)</a>:</h4>
<p>Ah, I understand what you're asking, yes, we have internal lints :)</p>



<a name="209410996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209410996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gus Wynn <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209410996">(Sep 08 2020 at 16:27)</a>:</h4>
<p><span class="user-mention" data-user-id="119031">@Esteban Küber</span> once a pr is approved, how does it get merged?</p>



<a name="209411113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/example%20of%20check%20if%20a%20type%20is%20range%20syntax/near/209411113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/example.20of.20check.20if.20a.20type.20is.20range.20syntax.html#209411113">(Sep 08 2020 at 16:28)</a>:</h4>
<p>Once it receives an r+ by a member, a bit picks it up as part of a roll-up and merges it</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>